MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 18:49:44 GMT
Content-Type: text/html
Content-Length: 5171
Last-Modified: Friday, 04-Oct-96 15:23:46 GMT


<!-- Author: Roy Friedman -->
<!-- Contents: personal WWW page -->
<!-- Created: May 1996 -->

<html>
<head>
<title>Roy Friedman</title>
<link rev="made" href="mailto:roy@cs.cornell.edu (Roy Friedman)">
</head>

<body>
<h1>Roy Friedman - List of Publications</h1>
<p>
<hr>

<h2>Papers in Journals</h2>
<ul>
<li>
H. Attiya and R. Friedman.
A Correctness Condition for High-Performance Multiprocessors.
<cite> SIAM Journal of Computing. To Appear. </cite>
Earlier version appeared in
<cite>24th ACM Symp. on the Theory Of Computing. </cite>
Also available as Technical Report 767, Department of Computer
Science, The Technion.

<li>
H. Attiya, S. Chaudhuri, R. Friedman, and J. Welch.
Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions
and Programming Strategies.
<cite> SIAM Journal of Computing. To Appear. </cite>
Earlier version appeared in
<cite> 5th ACM Symposium On Parallel Algorithms and Architectures. </cite>
Also available as Technical Report LPCR 9306, Department of Computer
Science, The Technion.

<li>
H. Attiya and R. Friedman.
Limitation of Fast Consistency Conditions for Distributed Shared Memories.
<cite>Information Processing Letters. </cite> Vol. 5, No. 5, 1996, Pages
243-248.

<li>
R. Friedman.
Implementing Hybrid Consistency with High Level Synchronization Operations.
<cite>Distributed Computing. Vol. 9, No. 2. </cite>
Earlier version appeared in
<cite>12th ACM Symp. on Principles of Distributed Computing. </cite>
Also available as <cite>Technical Report 781, Department of Computer
Science, The Technion.
</ul>

<h2>Papers in Conferences</h2>
<ul>

<li>
R. Friedman and R. van Renesse.
<!WA0><!WA0><!WA0><!WA0><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1537?abstract=">
Strong and Weak Virtual Synchrony in Horus</a>.
<cite>To appear in SRDS 96. </cite>
Also available as
<cite> Technical Report 95-1537, Department of Computer Science, Cornell
University. </cite>

<li>
R. Friedman and K. Birman.
<!WA1><!WA1><!WA1><!WA1><a
href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2f
TR96-1605?abstract=">
Using Group Communication Technology to Implement a Reliable and Scalable
Distributed IN Coprocessor</a>.
<cite>TINA 96. </cite>
A TR will be available soon.

<li>
R. Friedman, M. Goldin, A. Itzkovitz, and A. Schuster,
Millipede: Easy Parallel Programming in Available Distributed Environments.
<cite>To appear in Euro-par 96. </cite>

<li>
R. van Renesse, K. Birman, R. Friedman, M. Hayden, and D. Karr.
A Framework for Protocol Composition in Horus.
<cite>14th ACM Symp. on Principles of Distributed Computing. </cite>

<li>
H. Attiya and R. Friedman.
Programming DEC-Alpha Based Multiprocessors the Easy Way.
<cite>6th ACM Symp. on Parallel Algorithms and Architectures. </cite>
Also available as Technical Report LPCR 9411, Department of Computer
Science, The Technion.
</ul>

<h2>Technical Reports</h2>
<ul>
<li>
R. Baldoni, R. Friedman, and R. van Renesse.
<!WA2><!WA2><!WA2><!WA2><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1610?abstract=">
The Hierarchical Daisy Architecture for Causal Delivery</a>.
<cite> Technical Report 96-1610, Department of Computer Science, Cornell
University. </cite>

<li>
D. Dolev, R. Friedman, I. Keidar, and D. Malki.
<!WA3><!WA3><!WA3><!WA3><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1608?abstract=">
Failure Detectors in Omission Failure Environments</a>.
<cite> Technical Report 96-1608, Department of Computer Science, Cornell
University. </cite>

<li>
R. Friedman and K. Birman.
<!WA4><!WA4><!WA4><!WA4><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1579?abstract=">
Trading Consistency for Availability in Distributed Systems</a>.
<cite> Technical Report 96-1579, Department of Computer Science, Cornell
University. </cite>

<li>
R. Friedman and A. Vaysburd.
<!WA5><!WA5><!WA5><!WA5><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR96-1581?abstract=">
Implementing a Replicated State Machine Over Partitionable Networks</a>.
<cite> Technical Report 95-1554, Department of Computer Science, Cornell
University. </cite>

<li>
R. Friedman, I. Keidar, D. Malki, K. Birman, and D. Dolev.
<!WA6><!WA6><!WA6><!WA6><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1554?abstract=">
Deciding in Partitionable Networks</a>.
<cite> Technical Report 95-1554, Department of Computer Science, Cornell
University. </cite>

<li>
R. Friedman and R. van Renesse.
<!WA7><!WA7><!WA7><!WA7><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1527?abstract=">
Packing Messages as a Tool for Boosting the Performance of Total Ordering
Protocols</a>.
<cite> Technical Report 95-1527, Department of Computer Science, Cornell
University. </cite> Submitted for publication.


<li>
R. Friedman.
<!WA8><!WA8><!WA8><!WA8><a href="http://cs-tr.cs.cornell.edu:80/Dienst/UI/2.0/Describe/ncstrl.cornell%2fTR95-1506?abstract=">
Using Virtual Synchrony to Develop Efficient Fault Tolerant Distributed
Shared Memories</a>.
<cite> Technical Report 95-1506, Department of Computer Science, Cornell
University. </cite>

</ul>

<!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.cornell.edu/Info/People/roy/roy.html">
Back to Roy's home page</a>

</body>
</html>
